For Science - PDFSEARCH.IO - Document Search Engine

For Science
Results: 202039

#	Item
21	Category Theory for Program Construction by Calculation Lambert Meertens CWI, Amsterdam and Department of Computing Science, Utrecht University Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-03 13:27:17 Lambda calculus Theoretical computer science Mathematical logic Declarative programming Adjoint functors Anonymous function Type theory Lambda lifting
22	Asking and evaluating natural language questions Anselm Rothe1 , Brenden M. Lake2 , and Todd M. Gureckis1 1 Department of Psychology, 2 Center for Data Science, New York University Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2016-05-13 20:53:50 Learning Education Human behavior Educational psychology Educational practices Philosophy of education Curricula Bayesian network Active learning Question Bayesian inference Machine learning
23	Learning Inductive Biases with Simple Neural Networks Reuben Feinman () Center for Neural Science New York University Abstract People use rich prior knowledge about the world in order to Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2018-06-05 14:44:05 Artificial neural networks Computational neuroscience Artificial intelligence Learning Applied mathematics Machine learning Computational statistics Computer vision Convolutional neural network Deep learning Concept learning One-shot learning
24	Learning Outcomes for the Master of Science in Psychology National Qualification Framework for Iceland Master of Science in Psychology at Reykjavik University The Master of Science (MSc) in Psychology at Reykjavík Unive Add to Reading List Source URL: en.ru.is Language: English - Date: 2017-06-26 10:42:35 Behavioural sciences Applied psychology Behavior Psychology Education Industrial and organizational psychology Activity theory Subfields of psychology
25	THE WHITE HOUSE Office of the Press Secretary FOR IMMEDIATE RELEASE September 15, 2016 FACT SHEET: New Progress on Using Behavioral Science Insights to Better Serve the American People Add to Reading List Source URL: sbst.gov Language: English - Date: 2017-05-02 18:15:57 Tax Liberalism in the United States Healthcare reform in the United States Social programs Economy Government General Services Administration Social and Behavioral Sciences Team Earned income tax credit Social Security Microcredit Financial market
26	The Raymond and Beverly Sackler Faculty of Exact Sciences The Blavatnik School of Computer Science New Methods for Side Channel Cryptanalysis Thesis submitted in partial fulfilment of the requirements towards the M.Sc. Add to Reading List Source URL: www.ofirweisse.com Language: English - Date: 2018-10-17 09:19:20 Cryptography Side-channel attacks Block ciphers Advanced Encryption Standard Power analysis Cryptanalysis International Data Encryption Algorithm
27	Cost-Based Learning for Planning Srinivas Nedunuri and William R. Cook Douglas R. Smith Dept. of Computer Science, University of Texas at Austin Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2014-10-03 20:52:55 Logic Mathematics Automated theorem proving Logic programming Mathematical logic Logical truth Propositional calculus Substitution Measure theory operator Decomposition of spectrum
28	Department of Computer Science EFFICIENT PROBABILISTIC PARAMETER SYNTHESIS FOR ADAPTIVE SYSTEMS Taolue Chen Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-10-05 08:24:58 Estimation theory Probability and statistics Statistics Graph theory Markov chain Parameter Machine learning Probability distribution fitting Parametric model Twisting properties
29	Chemical Reaction Network Designs for Asynchronous Logic Circuits∗ Luca Cardelli1,2 , Marta Kwiatkowska1 , and Max Whitby1 1 Department of Computer Science, University of Oxford Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-06-17 04:03:10 Electronic engineering Logic gates Digital electronics Electrical engineering Electronics Electrical circuits Digital systems Clock signal C-element Asynchronous circuit Sequential logic Flip-flop